#include <stdio.h>

extern FILE* yyin;
int yyparse();

int main(int argc, char **argv)
{
	if (argc==2)
	{
		yyin = fopen(argv[1], "rt");
		yyparse();
		fclose(yyin);
	}
	return 0;
}
